翻訳と辞書 Words near each other ・ logarithmus dualis ・ logc ・ logic ・ logic bomb ・ logic design language ・ logic emulator ・ logic for computable functions ・ logic gate ・ logic programming ・ logic replacement technology ・ logic variable ・ logical ・ logical address ・ logical block addressing ・ logical complement ・ logical interchange format ・ logical link control ・ logical link control and adaptation protocol ・ logical relation ・ logical shift Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク logic variable ： FOLDOC logic variable A variable in a logic programming language which is initially undefined ("unbound") but may get bound to a value or another logic variable during unification of the containing clause with the current goal. The value to which it is bound may contain other variables which may themselves be bound or unbound. For example, when unifying the clause sad(X) :- computer(X, ibmpc). with the goal sad(billgates). the variable X will become bound to the atom "billgates" yielding the new subgoal "computer(billgates, ibmpc)". (1995-03-14) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.